double quotes in c strings